Marie-Louise Tenèze, Les Contes merveilleux français. Recherche de leurs organisations narratives

Notes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées

Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

Évaluation de la pertinence dans les moteurs de recherche géoréférencés

RÉSUMÉ. Optimiser le classement des résultats d’un moteur par un algorithme de learning to rank nécessite de connaître des jugements de pertinence entre requêtes et documents. Nous présentons les résultats d’une étude pilote sur la modélisation de la pertinence dans les moteurs de recherche géoréférencés. La particularité de ces moteurs est de présenter les résultats de recherche sous forme de ...

Séro-agglutination rapide et macroscopique pour la recherche d'anticorps de la Fièvre Q. chez les animaux

Critères d'évaluation pour les interfaces des systèmes de recherche d'information

Visualization of search results is an essential step in the Information Retrieval process. Indeed Information User Interfaces are used as a link between users and Information Retrieval Systems, and so they enable to give sense to the results for users. Due to the importance that takes visualization of search results, many interfaces (which can be textual, in 2D or in 3D) have been proposed in t...

Recherche en ligne pour les processus décisionnels de Markov